Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
31	Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:35:55 Logic Logic programming Constructible universe Mathematics Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Belief revision Knowledge representation
32	Solutions to the 2004 Nordic Mathematical Contest Problem 1 Let r be the number of balls in the red bowl, b be the number of balls in the blue bowl and y be the number of balls in the yellow bowl. Because the mean of the Add to Reading List Source URL: www.georgmohr.dk Language: English - Date: 2006-06-02 06:50:14 Elementary mathematics Triangle geometry Triangle Triangles Sine Ordinal numbers Angle Ordinal arithmetic Law of sines Geometry Mathematics Trigonometry
33	FREQUENCY ESTIMATION USING TAPERED DATA B.G. Quinn Statistics Dept, EFS, Building C5C, Macquarie University, Sydney, 2109, AUSTRALIA ABSTRACT The maximizer of the periodogram of a sinusoid in additive noise is known to h Add to Reading List Source URL: stat.mq.edu.au Language: English - Date: 2009-07-18 23:01:11 Mathematics Automata theory Structure Abstraction Ordinal arithmetic Ordinal numbers First uncountable ordinal Constructible universe
34	Faster Algorithms for Computing Longest Common Increasing Subsequences Gerth Stølting Brodal Kanela Kaligosi Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-07-07 08:09:04 Formal languages Longest increasing subsequence Subsequence Longest common subsequence problem Ordinal number Ordinal arithmetic Mathematics Dynamic programming Combinatorics
35	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Christian Borgs† Mark Braverman Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-10-03 18:58:33 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment
36	basic skills test ONLINE STUDY GUIDE (SET TWO) QUESTIONS 1. If three inches of rope cost 7 cents, how much would 2 feet of rope cost? Add to Reading List Source URL: www.expression.edu Language: English - Date: 2013-11-21 18:09:19 Number Numerical digit 300 10 Ordinal number 6 Elementary arithmetic Division Mathematics Numeral systems Group theory
37	On Typability for Rank-2 Intersection Types with Polymorphic Recursion ∗ Tachio Terauchi EECS Department University of California, Berkeley Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-05-22 01:29:30 Computer science Philosophy of mathematics Orbifold Ordinal arithmetic Symbol Curry–Howard correspondence Mathematics
38	A concentration inequality for the overlap of a vector on a large set, with application to the communication complexity of the Gap-Hamming-Distance problem Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-08-28 19:20:30 Normal distribution Proof theory Measure theory Dyadic cubes Ordinal arithmetic Mathematical analysis Statistics Gaussian measure
39	Properties and simulation of α-permanental random fields Jesper Møller and Ege Rubak Department of Mathematical Sciences, Aalborg University, Fredrik Bajers Vej 7G, DK-9220 Aalborg, Denmark. Email: , ruba Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2008-10-26 12:27:46 Eigenvalues and eigenvectors Ordinal arithmetic Algebra Mathematics Probability-generating function
40	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers